Rust Support in Socket
socket.dev·1d·
Discuss: Hacker News
📊Profiling Tools
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·1d·
Discuss: Hacker News
📦Binary Formats
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·19h
⏱️Real-time Systems
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·14h
🧮Linear Algebra
Blog series on creating an OS in Rust
os.phil-opp.com·2d·
Discuss: Hacker News
📊Profiling Tools
'Hello world' in Bismuth
enikofox.com·12h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·2d·
Discuss: Hacker News
📦Binary Formats
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·2d·
Discuss: Hacker News
📊Profiling Tools
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
Sync primitives are Functionally Complete
kprotty.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Async Rust
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
🗣️Language Servers
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🏗️LLVM
If Odin Had Macros
gingerbill.org·14h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🗣️Language Servers
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·2d·
Discuss: Lobsters, Hacker News
🏗️LLVM
Bun, WASM and Rust Projects with GitHub Actions
vectronic.io·3d·
Discuss: Hacker News
🕸️WebAssembly
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·2d
🌍Distributed Systems
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·6h·
Discuss: Lobsters, Hacker News
🗣️Language Servers